systemc asic functional verification analog audio computer eda hardware dsp soc digital software design tools